- in-core solver
- Макаров: программа решения, использующая (только) оперативную память
Универсальный англо-русский словарь. Академик.ру. 2011.
Универсальный англо-русский словарь. Академик.ру. 2011.
TK Solver — Infobox Software name = TK Solver caption = author = developer = Software Arts; Universal Technical Systems released = latest release version = 5.0 latest release date = latest preview version = latest preview date = operating system = Windows… … Wikipedia
Microsoft Office 2008 for Mac — applications : Word, Excel, PowerPoint, Entourage; plus Word Publishing Layout and Word Notebook Layout views … Wikipedia
OpenOffice.org — Open office redirects here. For other uses, see Open office (disambiguation). OpenOffice.org … Wikipedia
Maya (software) — Infobox Software name = Maya caption = screenshot of Maya 2008 Unlimited running on Windows XP Professional developer = Alias Systems Corporation, now owned by Autodesk latest release version = 2009 (10.0) latest release date = October 06, 2008… … Wikipedia
Computer Go — Part of a series of articles on Go (board game) Game specifics Go rules Go handicaps Go proverbs Go terms Go strategy and tactics Fuseki (whole board openings) Joseki (corner based openings) Life and death Tsumego … Wikipedia
Combination puzzle — Part of a series on Puzzles … Wikipedia
Boolean satisfiability problem — For the concept in mathematical logic, see Satisfiability. 3SAT redirects here. For the Central European television network, see 3sat. In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of… … Wikipedia
Alloy Analyzer — In computer science and software engineering, the Alloy Analyzer is a software tool which can be used to analyze specifications written in the Alloy specification language.cite book|last=Jackson|first=Daniel |authorlink=Daniel Jackson (computer… … Wikipedia
Rubik's Cube — Other names Magic Cube … Wikipedia
24 Game — This article is about the mathematical game. For the game based on FOX s television series, see 24: The Game. The 24 Game is a mathematical card game in which the object is to find a way to manipulate four integers so that the end result is 24.… … Wikipedia
Algebraic modeling language — Algebraic Modeling Languages (AML) are high level programming languages for describing and solving high complexity problems for large scale mathematical computation (i.e. large scale optimization type problems). One particular advantage of AMLs… … Wikipedia